MORE ON REAL-VALUED MEASURABLE CARDINALS AND FORCING WITH IDEALS by Moti Gitik

نویسنده

  • Saharon Shelah
چکیده

(1) It is shown that if c is real-valued measurable then the Maharam type of (c,P(c), σ) is 2. This answers a question of D. Fremlin [Fr,(P2f)]. (2) A different construction of a model with a real-valued measurable cardinal is given from that of R. Solovay [So]. This answers a question of D. Fremlin [Fr,(P1)]. (3) The forcing with a κ-complete ideal over a set X , |X | ≥ κ cannot be isomorphic to Random×Cohen or Cohen×Random. The result for X = κ was proved in [Gi-Sh1] but as was pointed out to us by M. Burke the application of it in [Gi-Sh2] requires dealing with any X . In Section 1 we deal with the Maharam types of real-valued measurable cardinals. The result (1) stated in the abstract and its stronger version are proved. The proofs are based on Shelah’s strong covering lemmas and his revised power set operation. In Section 2 a model with a real-valued measurable which is not obtained as the Solovay one by forcing random reals over a model with a measurable. In Section 3, the result (3) stated in the abstract is proved. Theorem 1.1 and the construction of Section 2 is due to the first author. Theorem 1.2 is joint and the result of Section 3 is due to the second author. We are grateful to David Fremlin for bringing the questions on real-valued measurability to our attention. His excellent survey article [Fr] gave the inspiration for the present paper. We wish to thank the Max Burke for pointing out a missing stage in the argument of [Gi-Sh2]. 1. On Number of Cohen or Random Reals D. Fremlin asked the following in [Fr,(P2f)]: If c is a real-valued measurable with witnessing probability ν, does it follow that the Maharam type of (c,P(c), ν) is 2? or in equivalent formulation: If c is a real-valued measurable does the forcing with witnessing ideal isomorphic to the forcing for adding 2 random reals? The next theorem provides the affirmative answer. Theorem 1.1. Suppose that I is a 20 -complete ideal over 20 and the forcing with it (i.e. P ( 20 ) /I) is isomorphic to the adding of λ-Cohen or λ-random reals. Then λ = 2 א0 . Proof: Suppose otherwise. Denote 20 by κ. Let j : V → N be a generic elementary embedding. Claim 1. j(κ) > (λ) . Proof: By a theorem of Prikry [Pr] (see also [Gi-Sh2] for a generalization) for every τ < κ 2 = 20 = κ. Then, in N , 2 = j(κ). But (P(κ)) ⊆ N , so j(κ) ≥ (2) . By [Gi-Sh2], then (2) = cov(λ, κ,א1, 2. So cov(λ, κ,א1, 2) ≥ λ . Clearly, cov(λ, κ,א1, 2) ≤ cov(λ,א1,א1, 2) ≤ (cov(λ,א1,א1, 2)) N .

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Simpler Short Extenders Forcing- Preserving Strong Cardinals

Our aim is to define a version of a simpler short extenders forcing preserving strong cardinals. 1 The Main Preparation Forcing In this section we will redefine the preparation forcing of [6] in order to allow eventually to preserve strong cardinals. The definition will follow those of [6] with certain additions. Fix two cardinals κ and θ such that κ < θ and θ is regular. Definition 1.1 The set...

متن کامل

A Simpler Short Extenders Forcing - gap 3 Moti Gitik

Assume GCH. Let κ = ⋃ n<ω κn, 〈κn | n < ω〉 increasing, each κn is κ n – strong witnessed by (κn, κ +n+3 n ) – extender En. We would like to force 2 = κ preserving all the cardinals and without adding new bounded subsets to κ. It was done first in [2, Sec.3]. Here we present a different method of doing this. The advantage of the present construction is that the preparation forcing is split compl...

متن کامل

Short extenders forcings – doing without preparations

We introduce certain morass type structures and apply them to blowing up powers of singular cardinals. As a bonus, a forcing for adding clubs with finite conditions to higher cardinals is obtained.

متن کامل

A variant of Namba Forcing

Ronald Jensen asked whether it is possible to change cofinality of every regular cardinal between א1 and an inaccessible λ to ω preserving λ (and of course א1). We show that it is possible assuming large cardinals.

متن کامل

Extender Based Radin Forcing

We define extender sequences, generalizing measure sequences of Radin forcing. Using the extender sequences, we show how to combine the Gitik-Magidor forcing for adding many Prikry sequenes with Radin forcing. We show that this forcing satisfies a Prikry like condition destroys no cardinals, and has a kind of properness. Depending on the large cardinals we start with this forcing can blow the p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008